#include <iostream>
#include "util.h"

void reportAssertionFailure(const char* msg, const char* file, int line)
{
    std::cerr<<"Assertion Failure: "<<msg<<" at "<<file<<", line "<<line<<"\n";
}
